Generalization in Hierarchies of Online Program Specialization Systems
نویسندگان
چکیده
In recent work, we proposed a simple functional language S-graph-n to study metaprogramming aspects of self-applicable online program specialization. The primitives of the language provide support for multiple encodings of programs. An important component of online program specialization is the termination strategy. In this paper we show that such a representation has the great advantage of simplifying generalization of multiply encoded data. After developing and formalizing the basic metaprogramming concepts, we extend two basic methods to multiply encoded data: most speciic generalization and the homeomorphic embedding relation. Examples and experiments with the initial design of an online specializer illustrate their use in hierarchies of online program specializers.
منابع مشابه
Learning "Generalization/Specialization" Relations between Concepts - Application for Automatically Building Thematic Document Hierarchies
We introduce a new method for automatically constructing concept hierarchies where the concept nodes follow a generalization / specialization relation. Starting from a set of concepts automatically extracted from a corpus, we show how to learn generalization / specialization relations between couples of concepts and how this leads to the construction of the hierarchy. We present an application ...
متن کاملReasoning about Hierarchies of Online Program Specialization Systems
We present the language S Graph n the core of a multi level metaprogramming environment for exploring foundational issues of self applicable online program specialization We illustrate how special purpose S Graph n primitives can be used to obtain an e cient and conceptually simple encoding of programs as data objects The key feature of the encoding scheme is the use of nu merical indices which...
متن کاملAn Object Model for Evolutionary Configuration Management
An object model for evolving engineering design data is presented. The model is based on prototype objects and includes tree transformations for object generalization and specialization during a design process. In addition to attribute data, objects contain constraints for checking their validity. Objects are arranged into component hierarchies, and constraints can express dependencies between ...
متن کاملReduction of Language Hierarchies
We study the structure of language hierarchies and their reduction by two forms of metacomputation in order to overcome the time and space complexity of language hierarchies. We show that program specialization and program composition are sufficient to reduce all forms of language hierarchies constructed from interpreters and translators. We argue that the reduction of language hierarchies is a...
متن کاملThe Making of a New Medical Specialty: A Policy Analysis of the Development of Emergency Medicine in India
Background Medical specialization is an understudied, yet growing aspect of health systems in low- and middleincome countries (LMICs). In India, medical specialization is incrementally, yet significantly, modifying service delivery, workforce distribution, and financing. However, scarce evidence exists in India and other LMICs regar...
متن کامل